Evolution of rule-based programs
نویسنده
چکیده
The term rule-based program is meant to include definite clause programs, SOS specifications, attribute grammars, and conditional rewrite systems. These setups are widely used for the executable specification or implementation of language-based tools, e.g., interpreters, translators, type checkers, program analysers, and program transformations. We provide a pragmatic, transformation-based approach for expressing and tracking changes in rule-based programs in the course of program evolution. To this end, we design an operator suite for the transformation of rule-based programs. The operators facilitate steps for clean-up, refactoring, and enhancement. We use SOS-based interpreter examples to illustrate evolution of rule-based programs. We use logic programming to execute the examples, while the relevant evolution operators are made available as logic meta-programs.
منابع مشابه
The Rise and Fall of Semantic Rule Updates Based on SE-Models∗ MARTIN SLOTA and JOÃO LEITE
Logic programs under the stable model semantics, or answer-set programs, provide an expressive rule-based knowledge representation framework, featuring a formal, declarative and well-understood semantics. However, handling the evolution of rule bases is still a largely open problem. The AGM framework for belief change was shown to give inappropriate results when directly applied to logic progra...
متن کاملThe rise and fall of semantic rule updates based on SE-models
Logic programs under the stable model semantics, or answer-set programs, provide an expressive rule-based knowledge representation framework, featuring a formal, declarative and well-understood semantics. However, handling the evolution of rule bases is still a largely open problem. The AGM framework for belief change was shown to give inappropriate results when directly applied to logic progra...
متن کاملOn Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wellunderstood semantics. However, handling the evolution of rule bases is still a largely open problem. The AGM framework for belief change was shown to give inappropriate results when directly applied to logic programs...
متن کاملSprachen, Grammatiken und Transformationen 33 Evolution of Language Interpreters
Language-based tools involve some (ad-hoc) elements of a language's intended (say, formal) semantics. These elements relate to the specific service provided by a tool. For instance, a program analyser might implement a so-called abstract interpretation; a transformation tool might employ algebraic laws as well as typing and scoping rules; a translator implements the syntax-to-syntax edge in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Program.
دوره 60-61 شماره
صفحات -
تاریخ انتشار 2004